On the Proof Theory of Regular Fixed Points

International audienceWe consider encoding finite automata as least fixed points in a proof theoretical framework equipped with a general induction scheme, and study automata inclusion in that setting. We provide a coinductive characterization of inclusion that yields a natural bridge to proof-theory. This leads us to generalize these observations to regular formulas, obtaining new insights about inductive theorem proving and cyclic proofs in particular

Disrupted Network Topology in Patients with Stable and Progressive Mild Cognitive Impairment and Alzheimer's Disease

Recent findings suggest that Alzheimer's disease (AD) is a disconnection syndrome characterized by abnormalities in large-scale networks. However, the alterations that occur in network topology during the prodromal stages of AD, particularly in patients with stable mild cognitive impairment (MCI) and those that show a slow or faster progression to dementia, are still poorly understood. In this study, we used graph theory to assess the organization of structural MRI networks in stable MCI (sMCI) subjects, late MCI converters (lMCIc), early MCI converters (eMCIc), and AD patients from 2 large multicenter cohorts: ADNI and AddNeuroMed. Our findings showed an abnormal global network organization in all patient groups, as reflected by an increased path length, reduced transitivity, and increased modularity compared with controls. In addition, lMCIc, eMCIc, and AD patients showed a decreased path length and mean clustering compared with the sMCI group. At the local level, there were nodal clustering decreases mostly in AD patients, while the nodal closeness centrality detected abnormalities across all patient groups, showing overlapping changes in the hippocampi and amygdala and nonoverlapping changes in parietal, entorhinal, and orbitofrontal regions. These findings suggest that the prodromal and clinical stages of AD are associated with an abnormal network topology. © 2016 Published by Oxford University Press

Excitotoxic cell death induces delayed proliferation of endogenous neuroprogenitor cells in organotypic slice cultures of the rat spinal cord

The aim of the present report was to investigate whether, in the mammalian spinal cord, cell death induced by transient excitotoxic stress could trigger activation and proliferation of endogenous neuroprogenitor cells as a potential source of a lesion repair process and the underlying time course. Because it is difficult to address these issues in vivo, we used a validated model of spinal injury based on rat organotypic slice cultures that retain the fundamental tissue cytoarchitecture and replicate the main characteristics of experimental damage to the whole spinal cord. Excitotoxicity evoked by 1 h kainate application produced delayed neuronal death (40%) peaking after 1 day without further losses or destruction of white matter cells for up to 2 weeks. After 10 days, cultures released a significantly larger concentration of endogenous glutamate, suggesting functional network plasticity. Indeed, after 1 week the total number of cells had returned to untreated control level, indicating substantial cell proliferation. Activation of progenitor cells started early as they spread outside the central area, and persisted for 2 weeks. Although expression of the neuronal progenitor phenotype was observed at day 3, peaked at 1 week and tapered off at 2 weeks, very few cells matured to neurons. Astroglia precursors started proliferating later and matured at 2 weeks. These data show insult-related proliferation of endogenous spinal neuroprogenitors over a relatively brief time course, and delineate a narrow temporal window for future experimental attempts to drive neuronal maturation and for identifying the factors regulating this process. \ua9 2013 Macmillan Publishers Limited. All rights reserved

Plasma Biomarkers of Brain Atrophy in Alzheimer's Disease

Peripheral biomarkers of Alzheimer's disease (AD) reflecting early neuropathological change are critical to the development of treatments for this condition. The most widely used indicator of AD pathology in life at present is neuroimaging evidence of brain atrophy. We therefore performed a proteomic analysis of plasma to derive biomarkers associated with brain atrophy in AD. Using gel based proteomics we previously identified seven plasma proteins that were significantly associated with hippocampal volume in a combined cohort of subjects with AD (N = 27) and MCI (N = 17). In the current report, we validated this finding in a large independent cohort of AD (N = 79), MCI (N = 88) and control (N = 95) subjects using alternative complementary methods—quantitative immunoassays for protein concentrations and estimation of pathology by whole brain volume. We confirmed that plasma concentrations of five proteins, together with age and sex, explained more than 35% of variance in whole brain volume in AD patients. These proteins are complement components C3 and C3a, complement factor-I, γ-fibrinogen and alpha-1-microglobulin. Our findings suggest that these plasma proteins are strong predictors of in vivo AD pathology. Moreover, these proteins are involved in complement activation and coagulation, providing further evidence for an intrinsic role of these pathways in AD pathogenesis

Noninvasive estimation of tumour viability in a xenograft model of human neuroblastoma with proton magnetic resonance spectroscopy (1H MRS)

The aim of the study was to evaluate proton magnetic resonance spectroscopy (1H MRS) for noninvasive biological characterisation of neuroblastoma xenografts in vivo. For designing the experiments, human neuroblastoma xenografts growing subcutaneously in nude rats were analysed in vivo with 1H MRS and magnetic resonance imaging at 4.7 T. The effects of spontaneous tumour growth and antiangiogenesis treatment, respectively, on spectral characteristics were evaluated. The spectroscopic findings were compared to tumour morphology, proliferation and viable tumour tissue fraction. The results showed that signals from choline (Cho)-containing compounds and mobile lipids (MLs) dominated the spectra. The individual ML/Cho ratios for both treated and untreated tumours were positively correlated with tumour volume (P<0.05). There was an inverse correlation between the ML/Cho ratio and the viable tumour fraction (r=−0.86, P<0.001). Higher ML/Cho ratios concomitant with pronounced histological changes were seen in spectra from tumours treated with the antiangiogenic drug TNP-470, compared to untreated control tumours (P<0.05). In conclusion, the ML/Cho ratio obtained in vivo by 1H MRS enabled accurate assessment of the viable tumour fraction in a human neuroblastoma xenograft model. 1H MRS also revealed early metabolic effects of antiangiogenesis treatment. 1H MRS could prove useful as a tool to monitor experimental therapy in preclinical models of neuroblastoma, and possibly also in children